1. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

Author:

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses

Classification :
Q
334
.
A766
1996

2. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses

Classification :
Q
334
.
I5488
1992

3. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
737

4. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
1138

5. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses

Classification :
QA
76
.
9
.
M35
.
I567
1995